Integrand size = 17, antiderivative size = 568 \[ \int \cos ^n(c+d x) \sin ^3(a+b x) \, dx=\frac {2^{-3-n} e^{i (3 a-c n)+i (3 b-d n) x+i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \operatorname {Hypergeometric2F1}\left (\frac {1}{2} \left (\frac {3 b}{d}-n\right ),-n,\frac {1}{2} \left (2+\frac {3 b}{d}-n\right ),-e^{2 i (c+d x)}\right )}{3 b-d n}-\frac {3\ 2^{-3-n} e^{i (a-c n)+i (b-d n) x+i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \operatorname {Hypergeometric2F1}\left (-n,\frac {b-d n}{2 d},\frac {1}{2} \left (2+\frac {b}{d}-n\right ),-e^{2 i (c+d x)}\right )}{b-d n}-\frac {3\ 2^{-3-n} e^{-i (a+c n)-i (b+d n) x+i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \operatorname {Hypergeometric2F1}\left (-n,-\frac {b+d n}{2 d},1-\frac {b+d n}{2 d},-e^{2 i (c+d x)}\right )}{b+d n}+\frac {2^{-3-n} e^{-i (3 a+c n)-i (3 b+d n) x+i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \operatorname {Hypergeometric2F1}\left (-n,-\frac {3 b+d n}{2 d},\frac {1}{2} \left (2-\frac {3 b}{d}-n\right ),-e^{2 i (c+d x)}\right )}{3 b+d n} \]
[Out]
Time = 1.35 (sec) , antiderivative size = 568, normalized size of antiderivative = 1.00, number of steps used = 14, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.235, Rules used = {4651, 2323, 2285, 2283} \[ \int \cos ^n(c+d x) \sin ^3(a+b x) \, dx=\frac {2^{-n-3} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \left (1+e^{2 i c+2 i d x}\right )^{-n} \operatorname {Hypergeometric2F1}\left (\frac {1}{2} \left (\frac {3 b}{d}-n\right ),-n,\frac {1}{2} \left (\frac {3 b}{d}-n+2\right ),-e^{2 i (c+d x)}\right ) \exp (i (3 a-c n)+i x (3 b-d n)+i n (c+d x))}{3 b-d n}-\frac {3\ 2^{-n-3} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \left (1+e^{2 i c+2 i d x}\right )^{-n} \operatorname {Hypergeometric2F1}\left (-n,\frac {b-d n}{2 d},\frac {1}{2} \left (\frac {b}{d}-n+2\right ),-e^{2 i (c+d x)}\right ) \exp (i (a-c n)+i x (b-d n)+i n (c+d x))}{b-d n}-\frac {3\ 2^{-n-3} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \left (1+e^{2 i c+2 i d x}\right )^{-n} \operatorname {Hypergeometric2F1}\left (-n,-\frac {b+d n}{2 d},1-\frac {b+d n}{2 d},-e^{2 i (c+d x)}\right ) \exp (-i (a+c n)-i x (b+d n)+i n (c+d x))}{b+d n}+\frac {2^{-n-3} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \left (1+e^{2 i c+2 i d x}\right )^{-n} \operatorname {Hypergeometric2F1}\left (-n,-\frac {3 b+d n}{2 d},\frac {1}{2} \left (-\frac {3 b}{d}-n+2\right ),-e^{2 i (c+d x)}\right ) \exp (-i (3 a+c n)-i x (3 b+d n)+i n (c+d x))}{3 b+d n} \]
[In]
[Out]
Rule 2283
Rule 2285
Rule 2323
Rule 4651
Rubi steps \begin{align*} \text {integral}& = 2^{-3-n} \int \left (3 i e^{-i a-i b x} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n-3 i e^{i a+i b x} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n-i e^{-3 i a-3 i b x} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n+i e^{3 i a+3 i b x} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n\right ) \, dx \\ & = -\left (\left (i 2^{-3-n}\right ) \int e^{-3 i a-3 i b x} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \, dx\right )+\left (i 2^{-3-n}\right ) \int e^{3 i a+3 i b x} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \, dx+\left (3 i 2^{-3-n}\right ) \int e^{-i a-i b x} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \, dx-\left (3 i 2^{-3-n}\right ) \int e^{i a+i b x} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \, dx \\ & = -\left (\left (i 2^{-3-n} e^{i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n\right ) \int e^{-3 i a-3 i b x-i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^n \, dx\right )+\left (i 2^{-3-n} e^{i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n\right ) \int e^{3 i a+3 i b x-i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^n \, dx+\left (3 i 2^{-3-n} e^{i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n\right ) \int e^{-i a-i b x-i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^n \, dx-\left (3 i 2^{-3-n} e^{i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n\right ) \int e^{i a+i b x-i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^n \, dx \\ & = \left (i 2^{-3-n} e^{i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n\right ) \int e^{i (3 a-c n)+i (3 b-d n) x} \left (1+e^{2 i c+2 i d x}\right )^n \, dx-\left (i 2^{-3-n} e^{i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n\right ) \int e^{-i (3 a+c n)-i (3 b+d n) x} \left (1+e^{2 i c+2 i d x}\right )^n \, dx-\left (3 i 2^{-3-n} e^{i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n\right ) \int e^{i (a-c n)+i (b-d n) x} \left (1+e^{2 i c+2 i d x}\right )^n \, dx+\left (3 i 2^{-3-n} e^{i n (c+d x)} \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n\right ) \int e^{-i (a+c n)-i (b+d n) x} \left (1+e^{2 i c+2 i d x}\right )^n \, dx \\ & = \frac {2^{-3-n} \exp (i (3 a-c n)+i (3 b-d n) x+i n (c+d x)) \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \operatorname {Hypergeometric2F1}\left (\frac {1}{2} \left (\frac {3 b}{d}-n\right ),-n,\frac {1}{2} \left (2+\frac {3 b}{d}-n\right ),-e^{2 i (c+d x)}\right )}{3 b-d n}-\frac {3\ 2^{-3-n} \exp (i (a-c n)+i (b-d n) x+i n (c+d x)) \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \operatorname {Hypergeometric2F1}\left (-n,\frac {b-d n}{2 d},\frac {1}{2} \left (2+\frac {b}{d}-n\right ),-e^{2 i (c+d x)}\right )}{b-d n}-\frac {3\ 2^{-3-n} \exp (-i (a+c n)-i (b+d n) x+i n (c+d x)) \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \operatorname {Hypergeometric2F1}\left (-n,-\frac {b+d n}{2 d},1-\frac {b+d n}{2 d},-e^{2 i (c+d x)}\right )}{b+d n}+\frac {2^{-3-n} \exp (-i (3 a+c n)-i (3 b+d n) x+i n (c+d x)) \left (1+e^{2 i c+2 i d x}\right )^{-n} \left (e^{-i (c+d x)}+e^{i (c+d x)}\right )^n \operatorname {Hypergeometric2F1}\left (-n,-\frac {3 b+d n}{2 d},\frac {1}{2} \left (2-\frac {3 b}{d}-n\right ),-e^{2 i (c+d x)}\right )}{3 b+d n} \\ \end{align*}
Time = 2.60 (sec) , antiderivative size = 329, normalized size of antiderivative = 0.58 \[ \int \cos ^n(c+d x) \sin ^3(a+b x) \, dx=2^{-3-n} e^{i (-3 a+c+d (1+n) x)} \left (e^{-i (c+d x)} \left (1+e^{2 i (c+d x)}\right )\right )^{1+n} \left (\frac {e^{-i (3 b+d n) x} \operatorname {Hypergeometric2F1}\left (1,\frac {1}{2} \left (2-\frac {3 b}{d}+n\right ),1-\frac {3 b}{2 d}-\frac {n}{2},-e^{2 i (c+d x)}\right )}{3 b+d n}-\frac {3 e^{2 i a-i (b+d n) x} \operatorname {Hypergeometric2F1}\left (1,\frac {1}{2} \left (2-\frac {b}{d}+n\right ),-\frac {b+d (-2+n)}{2 d},-e^{2 i (c+d x)}\right )}{b+d n}+e^{i (4 a+b x-d n x)} \left (\frac {e^{2 i (a+b x)} \operatorname {Hypergeometric2F1}\left (1,\frac {1}{2} \left (2+\frac {3 b}{d}+n\right ),1+\frac {3 b}{2 d}-\frac {n}{2},-e^{2 i (c+d x)}\right )}{3 b-d n}-\frac {3 \operatorname {Hypergeometric2F1}\left (1,\frac {b+d (2+n)}{2 d},\frac {1}{2} \left (2+\frac {b}{d}-n\right ),-e^{2 i (c+d x)}\right )}{b-d n}\right )\right ) \]
[In]
[Out]
\[\int \cos \left (d x +c \right )^{n} \sin \left (x b +a \right )^{3}d x\]
[In]
[Out]
\[ \int \cos ^n(c+d x) \sin ^3(a+b x) \, dx=\int { \cos \left (d x + c\right )^{n} \sin \left (b x + a\right )^{3} \,d x } \]
[In]
[Out]
Timed out. \[ \int \cos ^n(c+d x) \sin ^3(a+b x) \, dx=\text {Timed out} \]
[In]
[Out]
\[ \int \cos ^n(c+d x) \sin ^3(a+b x) \, dx=\int { \cos \left (d x + c\right )^{n} \sin \left (b x + a\right )^{3} \,d x } \]
[In]
[Out]
\[ \int \cos ^n(c+d x) \sin ^3(a+b x) \, dx=\int { \cos \left (d x + c\right )^{n} \sin \left (b x + a\right )^{3} \,d x } \]
[In]
[Out]
Timed out. \[ \int \cos ^n(c+d x) \sin ^3(a+b x) \, dx=\int {\cos \left (c+d\,x\right )}^n\,{\sin \left (a+b\,x\right )}^3 \,d x \]
[In]
[Out]